Smoked pinto beans: a versatile and delicious ingredient